A principle in logic that suggests when a certain proposition is established, deductions can be made from it.

ऐसा सिद्धांत जो संकेत करता है कि जब एक निश्चित प्रस्ताव स्थापित किया जाता है, तो इससे निष्कर्ष निकाले जा सकते हैं।

English Usage: The deduction theorem allows us to derive conclusions from established principles.

Hindi Usage: कटौती सिद्धांत हमें स्थापित सिद्धांतों से निष्कर्ष निकालने की अनुमति देता है।